when t is
    Ok ({} as d)->S
